Quantified modal logics of positive rational numbers and some related systems.
نویسندگان
چکیده
منابع مشابه
Bisimulation Quantified Modal Logics: Decidability
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfortunately, it is not the case that extension by bisimulation quantifiers always preserves the decidability of a modal logic. Here we examine a general class of modal logics for which decidability is preserved under exte...
متن کاملA Systematic Presentation of Quantified Modal Logics
this paper is an attempt at providing a systematic presentation of Quantified Modal Logics (with constant domains and rigid designators). We present a set of modular, uniform, normalizing, sound and complete labelled sequent calculi for all QMLs whose frame properties can be expressed as a finite set of first-order sentences with equality. We first present CQK, a calculus for the logic QK, and ...
متن کاملQuantified Modal Logic on the Rational Line
In the topological semantics for propositional modal logic, S4 is known to be complete for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In the topological semantics for quantified modal logic, QS4 is known to be complete for the class of all topological spaces, and for the family of subspaces of the irrational line. The main result of the ...
متن کاملCombinations and completeness transfer for quantified modal logics
This paper focuses on three research questions which are connected with combinations of modal logics: (i) Under which conditions can (frame-)completeness (and related properties) be transferred from a propositional modal logic (PML) to its quantificational counterpart (QML)? (ii) Does (frame-) completeness generally transfer from monomodal QMLs to their multimodal combination? (iii) Can complet...
متن کاملAutomated reasoning in quantified modal and temporal logics
This thesis is about automated reasoning in quantified modal and temporal logics, with an application to formal methods. Quantified modal and temporal logics are extensions of classical first-order logic in which the notion of truth is extended to take into account its necessity or equivalently, in the temporal setting, its persistence through time. Due to their high complexity, these logics ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1993
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093634657